Section: Dissemination
Promoting Scientific Activities
Scientific events organisation
Member of the organizing committees
-
L. Straßburger was on the Organization Committee for the International Workshop on Efficient and Natural Proof Systems, held at the University of Bath 14-16 December, 2015
Scientific events selection
Chair of conference program committees
Member of conference program committees
-
D. Miller was on the Program Committees of the following meetings.
-
TABLEAUX 2015: Automated Reasoning with Analytic Tableaux and Related Methods, Wroclaw, Poland, September.
-
PPDP 2015: 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, 13-16 July.
-
PxTP 2015: Fourth Workshop on Proof eXchange for Theorem Proving, Berlin, Germany, 2-3 August.
-
ICALP 2015 (42nd International Colloquium on Automata, Languages, and Programming), Track B, Kyoto, Japan, 6-10 July.
-
-
S. Graham-Lengrand was on the Program Committees of the following meetings.
-
K. Chaudhuri was on the Program Committees of the following meetings.
-
L. Straßburger was on the Program Committees of the following meetings.
-
G. Reis was on the Program Committee for the following meeting.
Reviewer
-
S. Graham-Lengrand was a reviewer for the following conferences:
-
L. Straßburger was a reviewer for the following conferences:
-
TLCA 2015: 13th International Conference on Typed Lambda Calculi and Applications
-
LPAR 2015: 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Suva, Fiji, November.
-
FLOPS 2016: Thirteenth International Symposium on Functional and Logic Programming March 4-6, 2016, Kochi, Japan
-
-
B. Accattoli was a reviewer for the following conferences:
-
CSL 2015: 24th EACSL Annual Conference on Computer Science Logic, Berlin, Germany, 7-10 September.
-
TGC 2015: 10th International Symposium on Trustworthy Global Computing, Madrid, Spain, August 31 to September 1.
-
FoSSaCS 2016: 19th International Conference on Foundations of Software Science and Computation Structures, to be held in Eindhoven, The Netherlands, 2-8 April 2016.
-
-
T. Brock-Nannestad was a reviewer for the following conferences:
Journal
Editor-in-chief
D. Miller was Editor-in-Chief of the ACM Transactions on Computational Logic. He completed a six year term on June 2015.
Member of the editorial boards
-
D. Miller is on the editorial board of the following journals: ACM Transactions on Computational Logic, Journal of Automated Reasoning (Springer), Theory and Practice of Logic Programming (Cambridge University Press), and Journal of Applied Logic (Elsevier).
-
D. Miller served on as an editor for Logical Methods in Computer Science for the production of a special issue for papers from CSL-LICS 2014.
-
K. Chaudhuri served as a guest editor for Mathematical Structures in Computer Science special issue on Logical Frameworks and Meta Languages, based on selected papers from LFMTP 2015
Reviewer - Reviewing activities
-
S. Graham-Lengrand was a reviewer for the following journals: J. Appl. Logic, Theoret. Comput. Sci., Acta Inform.
Invited talks
-
D. Miller was a plenary speaker at the joint meeting of LOPSTR 2015 and PPDP 2015 (Siena, Italy) and was an invited speaker at LSFA 2015 (Natal Brazil) and in the Session on History and Philosophy of Computing at the 15th Congress of Logic, Methodology and Philosophy of Science, Helsinki.
-
D. Miller gave spoke at the ETH Zurick Department of Computer Science Distinguished Colloquium Series on 20 April.
-
S. Graham-Lengrand gave an invited talk at the IFIP Working Group 1.6 on Term Rewriting, on the occasion of its 2015 annual meeting in Warsaw, Poland.
-
B. Accattoli was an invited speaker at the 16th International Workshop on Logic and Computational Complexity (Kyoto, Japan, 5th of July).
Leadership within the scientific community
-
D. Miller was a member of the ACM SIGLOG Advisory Board, the LICS Organizing Board, the CPP Steering Committee, and the ACM SIGLOG Executive Committee Nominating Committee. He was also the Chair of the LICS 1995 Test-of-Time Award selection committee.
-
S. Graham-Lengrand is head of the French National Workgroup on Logic, Algebra, and Computation (part of GDR Informatique Mathématique, funded by CNRS).
-
K. Chaudhuri was elected to the Steering Committee of LFMTP (http://lfmtp.org ) for a term of 5 years in 2015.